901. Uncountably categorical theories
پدیدآورنده : Zilber, Boris
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Model theory,، Categories )Mathematics(,، Completeness theorem
رده :
QA
9
.
7
.
Z513
902. Universal Algebra, Algebraic Logic, and Databases
پدیدآورنده : by B. Plotkin.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algebra, Universal.,Algebraic logic.,Databases.
رده :
QA251
.
B937
1994
903. Variance and duality for Cousin complexes on formal schemes
پدیدآورنده : Lipman, Joseph, 8391-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Homology theory,، Abelian categories,، Duality theory )Mathematics(,، Algebra, Homological,، Schemes )Algebraic geometry(
رده :
QA
612
.
3
.
L56V2
904. Vertex algebras and geometry /
پدیدآورنده : Thomas Creutzig, Andrew R. Linshaw, editors.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Geometry, Algebraic, Congresses.,Operator algebras, Congresses.,Vertex operator algebras, Congresses.,Geometry, Algebraic.,Nonassociative rings and algebras-- Lie algebras and Lie superalgebras-- Vertex operators; vertex operator algebras and related structures.,Operator algebras.,Quantum theory-- Groups and algebras in quantum theory-- Infinite-dimensional groups and algebras motivated by physics, including Virasoro, Kac-Moody, $W$-algebras and other current algebras and their representations.,Vertex operator algebras.
رده :
QA329
.
V47
2018
905. Views and Beliefs in Mathematics Education :
پدیدآورنده : editors, Benjamin Rott, Günter Törner, Joyce Peters-Dasdemir, Anne Möller and Safrudiannur.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Mathematics-- Study and teaching, Congresses.,MATHEMATICS-- Essays.,MATHEMATICS-- Pre-Calculus.,MATHEMATICS-- Reference.,Mathematics-- Study and teaching.
رده :
QA11
.
A1
906. Virtual topology and functor geometry
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Categories (Mathematics) ; Grothendieck categories ; Representations of congruence lattices ; Sheaf theory ; Dynamics ; Noncommutative function spaces ;
907. Virtual topology and functor geometry
پدیدآورنده : / Fred Van Oystaeyen
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Categories (Mathematics),Grothendieck categories.,Representations of congruence lattices.,Sheaf theory.,Dynamics.,Noncommutative function spaces.
رده :
QA169
.
O97
2008
908. Voevodsky motives and lhd-descent
پدیدآورنده : Kelly, Shane
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Motives )Mathematics(,، Grothendieck categories,، Sheaf theory,، Geometry, Algebraic,، Algebraic topology
رده :
QA
3
.
A78
Vol
.
391
909. categories /-Introduction of infinity
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Categories (Mathematics) ;
910. categories,allegories
پدیدآورنده : peter J.Freyd,Andre Scedrov
کتابخانه: Central Library and Documentation Center of Shahid Motahari of Vali-e-Asr University (Kerman)
موضوع : categories)mathematics(,allegories
رده :
QA
169
.
F73
1989
911. category theory and computer science:6th international conference,CTCS,95,Cambridge ,united kingdom,Augest 7-11,1995
پدیدآورنده : DAvid Pitt,David E.Rydehead,Peter Johnstone,eds
کتابخانه: Central Library and Documentation Center of Shahid Motahari of Vali-e-Asr University (Kerman)
موضوع : computer programming--congresses,categories)mathematics(-congreses
رده :
QA
76
.
6
.
B53
1995
912. from a geometrical point of view
پدیدآورنده : marquis, jean-pierre
کتابخانه: Library of Farabi Campus of Tehran University (Qom)
موضوع :
رده :
QA
169
.
F76
2009
913. بررسی پایداری کنترل‌کننده جدول‌بندی بهره برای سیستم‌های غیرخطی
پدیدآورنده : /حسین قاسم‌زاده
کتابخانه: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
موضوع :
